OutDecl($i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it ltg}$:\{$p$:(IdLnk$\times$Id)$\mid$ source(1of($p$)) $=$ $i$ \} fp$\rightarrow$ Type